Mathematical knowledge representation: semantic models and formalisms
نویسندگان
چکیده
منابع مشابه
Mathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
متن کاملKnowledge Representation Representation Formalisms in Machine Learning
We begin with what seems a paradox. The world of experience of any normal man is composed of a tremendous array of discriminably different objects, events, people, impressions...But were we to utilize fully our capacity for registering the differences in things and to respond to each event encountered as unique, we would soon be overwhelmed by the complexity of our environment... The resolution...
متن کاملSpace Efficiency of Propositional Knowledge Representation Formalisms
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge α, is the size of the shortest formula of F that represents α. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems...
متن کاملDecidability of Class Based Knowledge Representation Formalisms
6 N-ary Relations 77 6.1 The logic Bibliography 125 4 Preface This document is the English version of my doctoral thesis 35]. It presents the research w ork I have done, mostly at the Dipartimento di Informatica e Sistemistica, Universitt a di Roma \La Sapienza", from 1992 to the beginning of 1995, under the supervision of Maurizio Lenzerini. The thesis is concerned with logic-based knowledge r...
متن کاملVarieties of Formalisms for Knowledge Representation
Whilst I agree largely with Janice Glasgow’s position paper, there are a number of relevant subtle and important issues that she does not address, concerning the variety of forms and techniques of representation available to intelligent agents, and issues concerned with different levels of description of the same agent, where that agent includes different virtual machines at different levels of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lobachevskii Journal of Mathematics
سال: 2014
ISSN: 1995-0802,1818-9962
DOI: 10.1134/s1995080214040143